Joseph Sifakis ({ELSneu|Ιωσήφ Σηφάκης}; * 26. Dezember 1946 in Iraklio, Kreta) ist ein griechisch-französischer Informatiker und Turing-Preisträger. Er trug wesentlich zum Aufkommen der Modellprüfung und deren Verbreitung in der Industrie bei. Sifakis studierte Elektrotechnik an der Nationalen Technischen Universität Athen und mach...
Gefunden auf
https://de.wikipedia.org/wiki/Joseph_Sifakis
Sifakis, Joseph, griechischer Informatiker, * Iraklio (Kreta) 1946, Studium der Elektrotechnik an der Technischen Universität von Athen, Promotion in Informatik an der Universität von Grenoble. Joseph Sifakis forscht an dem von ihm mitgegründeten Verimag-Labor in Grenoble über verteilte Systeme,...
Gefunden auf
https://www.enzyklo.de/Lokal/42134
Keine exakte Übereinkunft gefunden.
